Van Jan Eijck | The Haskell Road To Logic, Maths And Programming.

Introduction To Computation | Haskell, Logic And Automata | Sannella

Jan Grabowski (u. A.) | Algebraic And Logic Programming | Taschenbuch

Parallel And Constraint Logic Programming An Introduction To Logic,

An Introduction To Functional Programming Systems Using Haskell |

The Language And Logic Of The Bible | G. R. Evans | The Road To

The Haskell School Of Expression: Learning Functional Programming

Simon Marlow Parallel And Concurrent Programming In Haskell

Graham Hutton Programming In Haskell (taschenbuch)

Programming In Haskell By Graham Hutton

Jan Ramon (u. A.) | Inductive Logic Programming | Taschenbuch |

Get Programming With Haskell By Kurt, Will

F. Sadri (u. A.) | Computational Logic: Logic Programming And Beyond |

An Introduction To The Pl/cv2 Programming Logic, R. L. Constable

Andrei Voronkov | Logic Programming And Automated Reasoning |

Logic And Integer Programming 1367